retract
A subspace of a topological space is called a retract of if there is continuous satisfying in for all , and for all .